HTML-documentation sources. Source XML-format is converted to HTML using XSLT.
